A machine checked proof that Ackermann's function is not primitive recursive
- Författare
- Institutionen för informationsbehandling (Göteborg) Nora Szasz
- (Nora Szasz., Lic.avh. Göteborg : Chalmers tekn. högsk., 1991)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekn. högsk. | 1991 | Sverige, Göteborg | 40 sidor. |